Complexity of solving the Subset Sum problem with the branch-and-bound method with domination and cardinality filtering

We obtain an exact upper bound on the complexity of solving the Subset Sum problem with a variation of the branch-and-bound method of a special form. Complexity is defined as the number of subproblems considered in the process of solving the original problem. Here we reduce the enumeration by using the domination relation. We construct an instance of the Subset Sum problem on which our bound is realized. The resulting bound is asymptotically twice smaller than the exact upper bound on the complexity of solving this problem with a standard version of the branch-and-bound method.     

Motivational,emotional, and behavioral correlates of fear of missing out

Social media utilities have made it easier than ever to know about the range of online or offline social activities one could be engaging. On the upside, these social resources provide a multitude of opportunities for interaction; on the downside, they often broadcast more options than can be pursued, given practical restrictions and limited time. This dual nature of social media has driven popular interest in the concept of Fear of Missing Out – popularly referred to as FoMO. Defined as a pervasive apprehension that others might be having rewarding experiences from which one is absent, FoMO is characterized by the desire to stay continually connected with what others are doing. The present research presents three studies conducted to advance an empirically based understanding of the fear of missing out phenomenon. The first study collected a diverse international sample of participants in order to create a robust individual differences measure of FoMO, the Fear of Missing Out scale (FoMOs); this study is the first to operationalize the construct. Study 2 recruited a nationally representative cohort to investigate how demographic, motivational and well-being factors relate to FoMO. Study 3 examined the behavioral and emotional correlates of fear of missing out in a sample of young adults. Implications of the FoMOs measure and for the future study of FoMO are discussed.     

Analysis of ethanol in soy sauce using electronic nose for halal food certification

The purpose of this study was to analyze ethanol content in soy sauce using mass spectrometry (MS) with electronic nose (e-nose) to determine if MS e-nose can replace gas chromatographic analysis for halal certification. Gas chromatography–flame ionization detector (GC-FID), the standard method of ethanol content, was used to analyze 24 different kinds of soy sauce. Ethanol was detected from 13 soy sauce samples in the concentration range of 0.0004–1.7wt%. The MS e-nose data were analyzed by discriminant function analysis (DFA). Based on an addition method, the results were more than 96.6% accurate when the ethanol concentrations were greater than 0.5%. A high correlation between the first score of the DFA plot and the ethanol concentration was observed. Thus, mass spectrometry based on e-nose is an efficient method for determining ethanol as a primary screening tool for halal certification.     

Tailoring real-time physical activity coaching systems: a literature survey and model

Technology mediated healthcare services designed to stimulate patients’ self-efficacy are widely regarded as a promising paradigm to reduce the burden on the healthcare system. The promotion of healthy, active living is a topic of growing interest in research and business. Recent advances in wireless sensor technology and the widespread availability of smartphones have made it possible to monitor and coach users continuously during daily life activities. Physical activity monitoring systems are frequently designed for use over long periods of time placing usability, acceptance and effectiveness in terms of compliance high on the list of design priorities to achieve sustainable behavioral change. Tailoring, or the process of adjusting the system’s behavior to individuals in a specific context, is an emerging topic of interest within the field. In this article we report a survey of tailoring techniques currently employed in state of the art real time physical activity coaching systems. We present a survey of state of the art activity coaching systems as well as a conceptual framework which identifies seven important tailoring concepts that are currently in use and how they relate to each other. A detailed analysis of current use of tailoring techniques in real time physical activity coaching applications is presented. According to the literature, tailoring is currently used only sparsely in this field. We underline the need to increase adoption of tailoring methods that are based on available theories, and call for innovative evaluation methods to demonstrate the effectiveness of individual tailoring approaches.     

Hydroxyapatite deposition study through polymeric process on commercially pure Ti surfaces modified by laser beam irradiation

Many techniques have been used to coat metallic substrate with bioceramics. The aim of this study was to study the physical-chemical characteristics of polyvinylidene fluoride (α-PVDF)/hydroxyapatite (HA) composite coating, obtained by casting method, on commercially pure titanium (α-CP Ti) substrate surface modified by laser beam irradiation. The preparation of coating was done for mixing α-PVDF pellets shape dissolved in dimethylacetamide (DMA) with HA/DMA emulsion. The mixture was poured onto the α-CP Ti sample and left to dry in an oven. CP Ti plates were coated with α-PVDF/HA composite film, in proportions of 100/00 and 60/40 in weight, and characterized by particle size analysis, scanning electron microscopy, energy dispersive spectroscopy (EDS), X-ray diffractometry, thickness measurement and contact angle. Uniform coating with a small thickness variation along the coated surface was successfully obtained.     

The potential for gender equality in architecture: an Anglo-Spanish comparison

The practice of architecture is very similar in different national settings despite what may be very different sociological and cultural origins of the profession, the attendant variances in how work is organized and distinctions in equality and gender roles. The aim of this paper is to examine the quest for equality in architecture for women in the UK and Spain reporting the findings of a comparative study into women architects’ careers in the two countries. Within the qualitative paradigm, semi-structured in-depth interviews were carried out with a total of 55 women architects in the UK and Spain. Findings indicate surprising differences in levels and terms of equality for women in the two countries and marked differences in women’s experiences of working as an architect. Women have come to the profession in Spain much later than their British counterparts and, somewhat surprisingly, are present in greater numbers. However, despite there being more of a ‘critical mass’ this has not served to improve their situation; they report much higher levels of discrimination and find it difficult to progress in their careers. Conclusions argue for a stronger approach by the professional bodies to help improve the position of women.     

Interleukin‐4‐Clicked Surfaces Drive M2 Macrophage Polarization

Driving macrophage (M?) polarization into the M2 phenotype provides potential against inflammatory diseases. Interleukin‐4 (IL‐4) promotes polarization into the M2‐M? phenotype, but its systemic use is constrained by dose‐limiting toxicity. Consequently, we developed IL‐4‐decorated surfaces aiming at sustained and localized activity. IL‐4 muteins were generated by genetic code expansion; Lys42 was replaced by unnatural amino acids (uAAs). Both muteins showed cell‐stimulation ability and binding affinity to IL4Rα similar to those of wt‐IL‐4. Copper‐catalyzed (CuAAC) and copper‐free strain‐promoted (SPAAC) 1,3‐dipolar azide–alkyne cycloadditions were used to site‐selectively anchor IL‐4 to agarose surfaces. These surfaces had sustained IL‐4 activity, as demonstrated by TF‐1 cell proliferation and M2, but not M1, polarization of M‐CSF‐generated human M?. The approach provides a blueprint for the engineering of cytokine‐activated surfaces profiled for sustained and spatially controlled activity.     

An integrated qualitative and quantitative modeling framework for computer‐assisted HAZOP studies

The article proposes a novel practical framework for computer‐assisted hazard and operability (HAZOP) that integrates qualitative reasoning about system function with quantitative dynamic simulation in order to facilitate detailed specific HAZOP analysis. The practical framework is demonstrated and validated on a case study concerning a three‐phase separation process. The multilevel flow modeling (MFM) methodology is used to represent the plant goals and functions. First, means‐end analysis is used to identify and formulate the intention of the process design in terms of components, functions, objectives, and goals on different abstraction levels. Based on this abstraction, qualitative functional models are constructed for the process. Next MFM‐specified causal rules are extended with systems specific features to enable proper reasoning. Finally, systematic HAZOP analysis is performed to identify safety critical operations, its causes and consequences. The outcome is a qualitative hazard analysis of selected process deviations from normal operations and their consequences as input to a traditional HAZOP table. The list of unacceptable high risk deviations identified by the qualitative HAZOP analysis is used as input for rigorous analysis and evaluation by the quantitative analysis part of the framework. To this end, dynamic first‐principles modeling is used to simulate the system behavior and thereby complement the results of the qualitative analysis part. The practical framework for computer‐assisted HAZOP studies introduced in this article allows the HAZOP team to devote more attention to high consequence hazards. © 2014 American Institute of Chemical Engineers AIChE J 60: 4150–4173, 2014